A Model Theoretic Property of Sharply Bounded Formulae, with some Applications
نویسنده
چکیده
We deene a property of substructures of models of arithmetic, that of being length-initial , and show that sharply bounded formulae are absolute between a model and its length-initial submodels. We use this to prove independence results for some weak fragments of bounded arithmetic by constructing appropriate models as length-initial submodels of some given model.
منابع مشابه
$n$-factorization Property of Bilinear Mappings
In this paper, we define a new concept of factorization for a bounded bilinear mapping $f:Xtimes Yto Z$, depended on a natural number $n$ and a cardinal number $kappa$; which is called $n$-factorization property of level $kappa$. Then we study the relation between $n$-factorization property of level $kappa$ for $X^*$ with respect to $f$ and automatically boundedness and $w^*$-$w^*$-continuity...
متن کاملCTL with Finitely Bounded Semantics
We consider a variation of the branching time logic CTL with non-standard, “finitely bounded” semantics (FBS). FBS is naturally defined as game-theoretic semantics where the proponent of truth of an eventuality must commit to a time limit (number of transition steps) within which the formula should become true on all (resp. some) paths starting from the state where the formula is evaluated. The...
متن کاملA Remark on Independence Results for Sharply Bounded Arithmetic
The purpose of this note is to show that the independence results for sharply bounded arithmetic of Takeuti 4] and Tada and Tatsuta 3] can be obtained and, in case of the latter, improved by the model-theoretic method developed by the author in 2]. By sharply bounded arithmetic we understand fragments of the theory S 1 2 of Bounded Arithmetic of Buss 1] given by the quantiier-free BASIC axioms ...
متن کاملHodge-theoretic Atiyah-meyer Formulae and the Stratified Multiplicative Property
In this note we survey Hodge-theoretic formulae of Atiyah-Meyer type for genera and characteristic classes of complex algebraic varieties, and derive some new and interesting applications. We also present various extensions to the singular setting of the Chern-Hirzebruch-Serre signature formula.
متن کاملBounded Proofs and Step Frames
The longstanding research line investigating free algebra constructions in modal logic from an algebraic and coalgebraic point of view recently lead to the notion of a one-step frame [18], [8]. A one-step frame is a two-sorted structure which admits interpretations of modal formulae without nested modal operators. In this paper, we exploit the potential of one-step frames for investigating proo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 44 شماره
صفحات -
تاریخ انتشار 1998